$\forall$$w$:World, $p$:FairFifo, $e$:E, $l$:IdLnk. w\_sends($e$;$l$) $\in$ (\{$m$:Msg$\mid$ mlnk($m$) = $l$\}  List)